61. Handbook of Global Optimization
پدیدآورنده: edited by Reiner Horst, Panos M. Pardalos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Computer science-- Mathematics.,Mathematical optimization.,Mathematics.,Operations research.
62. High Performance Computing in the Geosciences
پدیدآورنده: edited by François-Xavier Dimet.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Earth sciences -- Data processing -- Congresses.,Earth sciences -- Data processing.,Earth sciences -- Mathematics -- Congresses.
63. High Performance Optimization
پدیدآورنده: edited by Hans Frenk, Kees Roos, Tamás Terlaky, Shuzhong Zhang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematical optimization.,Mathematics.,Number theory.,Systems theory.
64. IPython Interactive Computing and Visualization Cookbook, Second Edition :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Command languages.,Information visualization.,Interactive computer systems.,Python.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Data capture & analysis.,Information visualization.,Information visualization.,Interactive computer systems.
رده :
QA76
.
73
.
P98
.
R677
2018
65. Ill-posed variational problems and regularization techniques :
پدیدآورنده: Michel Théra, Rainer Tichatschke (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Inégalités variationnelles.,Variatieongelijkheden.,Variational inequalities (Mathematics) -- Improperly posed problems.
66. Inconsistent Mathematics
پدیدآورنده: by Chris Mortensen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Logic, Symbolic and mathematical.,Logic.,Mathematics.
67. Introduction to derivative-free optimization /
پدیدآورنده: Andrew R. Conn, Katya Scheinberg, Luis N. Vicente
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Engineering mathematics,Industrial engineering-- Mathematics,Mathematical models,Mathematical optimization-- Industrial applications,Nonlinear theories,Search theory
رده :
TA342
.
C67
2009
68. It's all about coordination :
پدیدآورنده: Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
58
.
I87
2018eb
69. Language and automata theory and applications :
پدیدآورنده: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
70. Large-Scale Optimization with Applications
پدیدآورنده: edited by Lorenz T. Biegler, Thomas F. Coleman, Andrew R. Conn, Fadil N. Santosa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematical optimization.,Mathematics.,Numerical analysis.,Operations research.,Systems theory.
71. Linear models and time-series analysis :
پدیدآورنده: Marc S. Paolella, Department of Banking and Finance, University of Zurich, Switzerland.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Linear models (Statistics),Time-series analysis.,Linear models (Statistics),MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Time-series analysis.
رده :
QA280
.
P36
2019
72. Linear programming in industry theory and applications; an introduction.
پدیدآورنده: Sven Danø
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Business mathematics.,Linear programming.
رده :
HF5695
.
S946
1960
73. Logic, Language, and Probability :
پدیدآورنده: edited by Radu J. Bogdan, Ilkka Niiniluoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,Science -- Philosophy.
74. Logic-based methods for optimization :
پدیدآورنده: John Hooker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Linear programming.,Logic, Symbolic and mathematical.,Mathematical optimization.
رده :
T57
.
74
J646
2000
75. Macromodels of the National Economy of the USSR :
پدیدآورنده: by Vyacheslav V. Kolbin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Social sciences -- Methodology.,Social sciences.
76. Mathematical Problem Solving and New Information Technologies :
پدیدآورنده: edited by João Pedro Ponte, João Filipe Matos, José Manuel Matos, Domingos Fernandes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Mathematics.
رده :
QA63
.
E358
1992
77. Mathematical and Statistical Methods for Actuarial Sciences and Financ
پدیدآورنده: / electronic resource
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Finance,Mathematical statistics,Mathematics,Actuarial Sciences,Quantitative Finance,Statistical Theory and Methods,Finance/Investment/Banking
رده :
E-BOOK
78. Mathematical and statistical methods for actuarial sciences and finance :
پدیدآورنده: Marco Corazza, María Durbán, Aurea Grané, Cira Perna, Marilena Sobillo, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Finance-- Mathematical models, Congresses.,Finance-- Statistical methods, Congresses.,Insurance-- Mathematical models, Congresses.,Insurance-- Statistical methods, Congresses.,BUSINESS & ECONOMICS-- Insurance-- Risk Assessment & Management.,Econometrics.,Economics.,Finance.,Mathematics.,Optimization.,Probability & statistics.
رده :
HG8781
79. Mathematical foundations of computer science 1999 :
پدیدآورنده: Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.
80. Mathematical foundations of programming semantics :
پدیدآورنده: M. Main, A. Melton, M. Mislove ... [et al.], eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
رده :
QA76
.
7
M535
1990
